Typos in the names of some inference rules
Merge branch 'master' of https://github.com/aigarashi/copl-tools