no more Enums
major overhaul, simplify types, nest type types
Merge branch 'reduce/types/in/titan/impl'