Fixing type checker to validate type names