Adding a cheat sheet for inference rules

The cheat sheet still misses some rules for CCS_{vp}, but should be otherwise already usable. This pull request also adds some additional macros for CCS_{vp} to ccs_rules.