Add type signatures