the 'lieing' about the types of objects is likely not the end of the world, because in some ways we would just be trading it for a different kind of type check. and we've already said that we want to centralize the type checks