Adds tests for simple expressions and refines them

Got one ambiguity with full qualified name class instantiations and
applications, but the preference on the instantiations does
unfortunately not help.