Make standalone annotation use #f instead of #'#f.
Move from type-ascription-property to add-ann.
Remove check for type-ascription property.
Add #%expression around annotations.
Cleanup type-ascription.
Remove obsolete special casing for ann and inst.
Change ascription to annotate the #%expression.

Also remove the now useless type-annotation tests.