improve a makefile - compiling sml directly with ps_sml
working on the type theory
update type theory description
update type theory description
update type theory description
simplify syntax a bit, add witnessToken to serve as object for satisfying witnessed judgments