Basic implementation of the type(checke)r