Context constraints and semantics herschreven. Er zit nu meer van de
scope regels in,