RtClosureInspect includes a bunch of stuff for playing with closures:
- the datatype Closure is the low level representation type
- the datatype Term is the high level representation type
- cvObtainTerm is the main entry point, providing the Term representation of an arbitrary closure