Revise spacing
Refactor handling of imported decls
Revised spec; revised implementation to match

- Types may specified as compile-time const-val exprs, not just
  constant literals

- Revised MASTERMIND to take advantage of this

- Also revised intro/rationale to spec