Ten, thinking about types

I was thinking about what type system I wanted for ten and I think I made up my mind on many parts.