Added type refinement rules.