more tests are valid now
updates negative tests and todo file
added negative tests for lists back again
updated todo with the errors in the neg/lists
Merge remote-tracking branch 'origin/heapless_classes_tests' into heapless_classes
Removing filename from Nano

  - Filename is not really useful in solveConstraints since we have sourcespans
Fixing regrtest script.