Display Constraints

If you run code which has a constraint applied to a bound variable in the answer, those constraints will now display properly in the bindings section of the output. This includes numerical constraints and set non-membership. Names generated by s(CASP) are elided, and anything else will throw a console warning.

What's Changed

• adding the ability to display attributed values by @Gauntlet173 in #245

Full Changelog: v1.3.9-alpha...v1.3.10-alpha