Updated readme; new rule `is_a`