Finished HU. Finished an initial version of constraint solver. Yet it's
buggy