fix on newton
shortcutting quantifiers
machine with newton
additional error printing
de Bruijin indices
Optimised list splitting