cleaned up unquote type checking
changed verbosity names for unquoting to tc.unquote.{term,decl}