Flesh out constraints

Based on PR #81.

Flesh out some constraints and fix some backticks.

Incorporates the constraint from #82.