better operator type inference with anon types

Conflicts:
	src/com/redhat/ceylon/compiler/typechecker/analyzer/ExpressionVisitor.java
ProducedType: forward underlyingType and isRaw info to resolvedAliases
Merge branch 'master' of https://github.com/ceylon/ceylon-spec into 533