initial impl of default type args with typechecker phase-related bug
attempt to fix lifecycle bug with default type args, still very fragile 
handle type argument defaults in ProducedType
union/intersection canonicalization still broken
Merge branch 'defaulttypeargs' of https://github.com/ceylon/ceylon-spec
into defaulttypeargs

Conflicts:
	src/com/redhat/ceylon/compiler/typechecker/analyzer/ExpressionVisitor.java
	src/com/redhat/ceylon/compiler/typechecker/analyzer/RefinementVisitor.java
more tests for defaulted type params
adjust for changes to language module
Merge branch 'master' into defaulttypeargs
Iterable now has an extra type param
add new Iterable type arg to type assertions in tests
oops
Merge branch 'master' of https://github.com/ceylon/ceylon-spec into defaulttypeargs
better operator type inference with anon types
Merge branch 'master' into defaulttypeargs

Merged ExpressionVisitor

Conflicts:
	src/com/redhat/ceylon/compiler/typechecker/analyzer/ExpressionVisitor.java
Merge branch 'defaulttypeargs'