Rename Type::invariantOf to immutableOf
Use operator[] instead of tdata()