AbstractTransformer #972: use the produced reference to get functional types for arguments
AbstractTransformer #972: make sure the upper bound we use for arguments has type arguments resolved
BoxingDeclarationVisitor #972: go recursive when determining if something is raw or not

We want to be able to know if anything in the type was erased, not just the toplevel type
BoxingDeclarationVisitor #972: only set the raw bit if the toplevel type is raw

Also handle Callable special case
ExpressionTransformer #972: Remove automatic self-type casts since they are not automatic anymore
ExpressionTransformer #972: Rewrite erasure/casting rules
Invocation #972: Determine if a parameter is constrained by type param bounds
StatementTransformer #972: New rule about downcasting that forces casting rules
Test for #972: Rewrite erasure/casting rules

A single test to test every case is much easier to maintain
Javac Types: fix for #983 deal with recursive type parameters

Really not sure at all this is a good fix, but it does make ceylon.language compile
BoxingDeclarationVisitor #972: Moved hasErasure to AbstractTransformer and allow access to it in BoxingVisitor
AbstractTransformer.getTypeForArg #972: Make sure the special case for sequential has type arguments substituted
AbstractTransformer #972: make sure erasure flag of @TypeInfo is in line with what the BoxingDeclarationVisitor declares

In particular, we don't stop at toplevel erasure anymore, we also consider recursive erasure
BoxingVisitor #972: Make sure erasure is handled correctly for spread operator

it is different than for a normal member operator because we end up generating a sequence of
a type which may or not be erased
ClassTransformer #972: Deal with erasure in mixin bridge methods

In some cases we were returning things from calls to a superinterface impl class
which was not compatible with the current type's opinion of the method return
value
ExpressionTransformer #972: Make sure erased types such as nothing get properly unboxed if required
ExpressionTransformer #972: Rewrite erasure/casting rules
ExpressionTransformer #972: Fixed erasure rules for spread operator
StatementTransformer #972: Fixed erasure rules for exists
MiscTest: clean previous results for language module compilation and updated to latest language module contents