[readonly] Check for readonly assignments and allow basic subsumption

[readonly] Check for readonly assignments and allow basic subsumption #1081