update some names and comments based on feedback from RDA

also slight fix to context_ok: a NewConst update requires the type to be
ok.
update README and move consistency stub into separate theory