Bug fixing
Added ~R#. Started work on core-spec.
Added double-checker for roles when -dcore-lint is on
Checkpoint. Added axiom roles.