fix #1133
one more test
basic implementation of #1127 for base expressions
implement #1127 for qualified function refs
inference for indirect invocations #1127
stupid javac
do a TODO for #1127
properly handle value parameters and variadics for #1127
tests for #1127
sync new code with usual type arg inference algorithm
handle static attribute references for #1127
cleanup after #1127
extra test
spec for #1127
Merge branch 'master' into constructors

Conflicts:
	test/main/typing/nonempty.ceylon
hacky fix and tests for constructors of member classes