internal MonaVarParam(MonaVarWhere name, MonaParamKind kind) : base(kind) { this.varwhere = name; }
internal MonaVarDecl(MonaDeclKind kind, Cons<Token> univs, MonaVarWhere vw) : base(kind) { this.univs = univs; this.varwhere = vw; }