Does it support type safety? Or exists an add / module on top of turso that support it?