Type system best practices