Classes required for reflect-typechecker added