(hello q)
"get-type"
other
q
empty
pair
pair
"subst-other"
x
(x)
b
(b)
()
(x (b x) d)
(x x x . x)