fix #696 substitute aliases in param and arg type before inferring
test for disallowed super in default arg expression
Merge branch 'master' into remodel
disallow super in default arg expressions