Added explode primitive
Removed shift/reduce conflict
Added if-then-else concrete syntax
Added (string to) universe primitive
Switched Prelude to use exploded types and terms
Added name_of and type_of primitives
Started writing implode
lambda can construct TT's fake type families
Prelude defines equiv_ty, rather than equiv