Start on typesystem refactoring
Work on typesystem some more
Work on typesystem
Some improvements to the type system
Improve typing of constants
Use WeakrefTuple for conser args
Add type defaults and add some tests
Some more tests
Clean up some llvm type construction
Create some type lowering code
Implement some complex support using type lowering constructs
Add some stuff
Improve type promotion
Adapt some types
Expose types from numba universe
Start using revised typesystem
Move typeof test to typesystem tests
Allow mutable polytypes
Add immutable type metadata
Update some type constructors