Rename `constraint` to `fnc` and `defc` to `defnc` for terseness.