Add (a) CoreM monad, (b) new Annotations feature