fix bug in type arg inference for recursive generic function calls
found by John Vasileff
eliminate dupe error
implement #1122
Conflicts:
	test/main/constructors/instantiation.ceylon
add a test
another test
update spec for #1122
Merge branch 'master' into constructors