Don't set Nil type to target defs which have a non-allocated owner
Don't generated code for non-allocated objects when the owner is not allocated
Object+ must not search in Value+
Allocated a class means allocating all its superclasses
No need to specify type vars to new if they can be inferred