Make changes to parameter passing and function result type rules