public override Type Check(TEnv env, FEnv fEnv) { return(type); }
public override Type Check(TEnv env, FEnv fEnv) { return(env.GetVariable(name)); }
abstract public Type Check(TEnv env, FEnv fEnv);