Update proposal

Make instantiated tear-offs and type literals part of the proposal, not a possible extension.
Specify how tear-offs from type aliases work.

Author: lrhn