Ersatz.Variable

class Variable t

forall

exists

class GVariable f

genericLiterally