Move or document orphan instances in Language.Pirouette.QuasiQuoter.Internal

[Niols]

The file src/Language/Pirouette/QuasiQuoter/Internal.hs includes orphan instances of Lift:

pirouette/src/Language/Pirouette/QuasiQuoter/Internal.hs

Lines 58 to 88 in 1bfaa87

	-- Orphan instances to 'Lift' the necessary types
	deriving instance Lift ann => Lift (SystF.Ann ann)
	deriving instance Lift Namespace
	deriving instance Lift Name
	deriving instance Lift SystF.Kind
	deriving instance (Lift (Constants lang), Lift (BuiltinTypes lang), Lift (BuiltinTerms lang)) => Lift (TermBase lang)
	deriving instance (Lift (Constants lang), Lift (BuiltinTypes lang), Lift (BuiltinTerms lang)) => Lift (Var lang)
	deriving instance Lift (BuiltinTypes lang) => Lift (TypeBase lang)
	deriving instance Lift (BuiltinTypes lang) => Lift (TyVar lang)
	deriving instance Lift (BuiltinTypes lang) => Lift (Type lang)
	deriving instance (Lift (Constants lang), Lift (BuiltinTypes lang), Lift (BuiltinTerms lang)) => Lift (Arg lang)
	deriving instance (Lift (Constants lang), Lift (BuiltinTypes lang), Lift (BuiltinTerms lang)) => Lift (Term lang)
	deriving instance Lift Rec
	deriving instance (Lift (Constants lang), Lift (BuiltinTypes lang), Lift (BuiltinTerms lang)) => Lift (FunDef lang)
	deriving instance Lift (BuiltinTypes lang) => Lift (TypeDef lang)
	deriving instance (Lift (Constants lang), Lift (BuiltinTypes lang), Lift (BuiltinTerms lang)) => Lift (Definition lang)

I am not quite sure what they are for. Someone should look that up and either move them to a place that makes more sense (if possible), or at least document more what they are for, what types they should be attached to, and why we decided to have them as orphan.

cf also #168 (comment)