Remove is_det.

Given that all variables are bound by default, it’s no longer required
to provide an operator to make choices based on the bind status of
something.
Remove bound.

Remove tracking whether a variable is bound or not, given all variables
are bound at declaration time when operating with lattice variables.
Remove lazy.

Remove tracking of the singular lazy variable.