Proposed spec for steps and constant definitions