v0.0.2 - PRSC

• Add PRSC support
  • a simpler context vocabulary than the previous one (PREC-C)
  • some PRSC contexts are reversible (and even formally proved to be reversible!)
• Change a lot of terminology in PREC-C to "improve usability"