Multiple inheritance

These commits should solve #20 and #27, they are part of the cleanup of application desugaring (more to be done). Since they make little changes in several places perhaps would be useful an early merge.