Added more argument order/reevaluation tests. Added error cases for some builtin macros, and for DESTRUCTURING-BIND.
Added tests of check-type. Added more assert tests. Added checks for various functions that the argument is evaluated only once.
Finished adding the argument evaluation order tests for the functions that have so far been covered in the tests.
I'm trying to get the tests to run with ECL. They don't yet, but this change fixes a problem in the loading of universe.lsp
Indentation/style changes. Tests for empty implicit PROGNs in case, ccase, ecase. Added some tests of argument evaluation order to many function calls.
Use classes-are-disjoint for float type disjointness. Added tests for bignum, fixnum type relationships.