Type Theory

Hyper-Consistent

I'm really drawn to this. There are a lot of very similar structures in a program that could be brought in line. Although I'm afraid doing this is going to recreate lisp.

The two fundamental container types are an ordered list and an associative array.