Type system - extended

So far, we’ve only worked with primitive types. Orb’s type system is a lot more complex than that, and the majority of it will be covered in these sections.