I'm not a fan of building your own type system. Python already has one, we should use it.