Change depth level
Bugfix in interpreting/logging
When trying to match a non empty list to [], it would fail and we would log the constraint not_list which was wrong.
We now log the constraint empty_list.
Add more BIFs in the TODO list