Simplify type_cons and refactor in preparation for contexts written in Fexl.

Add a test/fib script which times a bunch of computation and output.

Add a test/checkt script which times the test/check script.