Add ttype-safe to the list

[donflopez]

I've created yet another version for type checks for what I think should be the default in TS.