Return type information is now stored in the AST

The information is still not used anywhere.