Add type variables to unquote context, if they implement `ToExpr`#10

Closed

alexkeizer wants to merge 0 commit intoleanprover-community:masterfrom alexkeizer:master

No commits history

There isn't any commit history to show here.