Mutability

Fixes and new features

(including SourceSpan on annotations - more precise localization of parsing errors on annotations)