As HN: Has anyone kept objects and types separate in OOP?

Objects are really prototypes, not true types. So they should be subsumed under a type system (preferably not one that just types them ass as "object") instead of being made equal to types.