Ensure propagating semantics checks throughout the class hierarchy.
Also fix generating Object constructor.