Don't error if no trivials
Hook up UI; numerous fixes

Still WIP.