Add function attributes and return types

[PatStLouis]

Implement value typing for function returns and parameters.