set out data decs for more literals.
patched some bugs in type checker. started to start to think about evaluator redux. discovered a weird bug in tuple unification.