バリアント型, case, termSubst修正