Thanks for the heads up. You're probably right, that making types objects is better, but what type would the first one be? In other words, when you type that a type is an object_type, would the object have type type? :)
