Properly treat cross-stage type variables in typed quotes

POC

Fix bad rebase

Fix runtime rep args

Fix nested splices

Add qTypecheck to convert from untyped to typed repr

This is totally broken ATM because I crippled the untyped representation.

Progress adding back untyped TH

Move Lift into it's own module and use typecheck rather than unsafeCoerce

Fix untyped lifting

WOrk around staging issues

Fix CSP

Get kind correct

Some fixes

some fixes

Fix LiftString

fixup

bads