Rule: remove necessity for position parameter in a Rule