Distinguish ANNOT vs ? metavars; blue syntax
Allow type annotations on defines