Update typing rules

This updates most (all?) of the typing rules such that they modify the context where applicable. In addition, mutex is now a separate "library", which also uses context mutation.