add simple rule constructors.