Rules context creation - Typing definition