better operator type inference with anon types

Conflicts:
	src/com/redhat/ceylon/compiler/typechecker/analyzer/ExpressionVisitor.java