How to Reify?? When the Domain is a Base Type ?
???? v = ?x. v @ x
e.g. ???? (?x. (?y. y) @ x) = ?z. (?x. (?y. y) @ x) @ z = ?z. (?y. y) @ z = ?z. z
???? v = ?x. ?? (v @ x)
e.g. ?????? (?x. ?y. x) = ?p. ???? ((?x. ?y. x) @ p) = ?p. ?q. (?x. ?y. x) @ p @ q = ?p. ?q. q