Workarounds for some ambiguities.
Further simplifications.

Technically this change removes the explicit syntactic check for the super call being
the first statement in a constructor, but this is trivial to check in a semantic phase
anyways. Might fix this later.