moved over type checking code from forthgen into new stage typechecker. moved operation to type matching from forth generation stage to typechecker