Types and improvments
Initial commit of denotational semantics portion.