Add TypeRules::instance
fix minor typo in the method declaration