TypeCheck w.i.p
TypeCheck and unit test