Fix missing cases in align.
Add a utility function for Lifted.
Add extra fluff to avoid errors involving UNR.
Add more printing out and lower ambitions for parameters in example.
Some fixes.