Annotation update s/@minispec/@miniboxed/

The old annotation should still work, mb_old_annot.scala checks it.