Implement initial "use types;" typing system with basic data types and data structures