Adding type signatures