changes:
- renamed `unify` to `u`
- added labels to abs/fix/con

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>
patching algorithm w