* Add Sig and Code (and prereq Param etc.) to Pugs.Val.Code.
No ICoercible instances yet, but those should be fun to write!
* Due to what seems like a bug in GHC, hs-boot will not allow
us to break circularity when consumed types have derived instances. For now, we resort to the dreaded #include.
