Added tests of check-type. Added more assert tests. Added checks for various functions that the argument is evaluated only once.
Added tests of check-type. Added more assert tests. Added checks for various functions that the argument is evaluated only once.