Add new start to empty functor over checkers, Bare

Writtyp is currently the written form for *all* type annotations,
but types, kinds, bindings, and envs have been completed for bare.

Still TODO:
  - subtyping and type-checker for bare