adding type signatures