Are not dealt with correctly---they are actually sent by value. Should make it an error to pass reference or pointer parameters unless const.
Particularly unlear what should be done with reference return values.
