Ceylon.nodes: type for member literal is optional
moved typeliteral visitor frmo Type to ExpressionVisitor

because we need the types set up first so we can resolve aliases, which didn't work otherwise
tests: make sure that type aliases are expanded and that type literals do not depend on the order of type declaration