Some additions one unary and binary parametricity
+Opaque
Reflection.NP: updates and improvements
Deriving N-ary parametricity using the reflection API
A simpler type for terms, mainly for debugging, includes a printer
Reflection.Scoped: a subset of the reflection API, scoped using nested data types
Reflection.Scoped.Translation: from unscoped to scoped terms
Reflection.Scoped.Param: binary parametricity on scoped terms
ignore MAlonzo