move compilation and typechecking from model to semant

[lileicc]

Classes under blog.model are supposed to be internal representation of semantics, they should not carry type checking and compilation functionality.