the ExtLam constructor does pop up in a few places during reification

substitution and free variable computation in particular
disable display forms and extra unfolding when reifying in unquote
Unquote AGDATERMUNSUPPORTED to meta instead of raising an error
[ issue1228 ] better error when mixing up con and def in unquote