Quotation type erasure

An implementation of the inverse of Expr.Cast<_>, with erasure happening at reflection level.