How would you characterize the conformance requirements for subtyping? Explain what properties are involved. Give an example of signature compatible types not satisfying the history property. Explain the duality between imposing constraints statically and dynamically.