Started Implementng Typechecker module.