add a trivial test for the implicit record declaration
add test that a trivial enum will install correctly
tweak to provide an identity convention on types

For records used only to represent types rather than instances of types, I
define `(type this)` to be `this`. This allows me to make a (typeof) call
standard on any type argument because for primitive types it won't matter,
whereas for ThinType instances the call will pass through all the way down
to the base primitive or record type at the bottom.
patch making (typeof ^ThinType)

This allows ThinType to be transparent with respect to the nonsense type
structures which a user may build. Because ThinTypes resolve down to the
terminal "primitive" type at the base one may arbitrarily nest ThinTypes
and it won't matter.
start to reasonably provide pointers and other types