Add more tests
Improve tests, fix non-atomic function arguments
Support internal defines
Check that the conversion correctly returns ANF
Improve interactivity
Improve error reporting