lib(typetest)

   Meta-logical built-ins to test the type of terms

