add test for call/import
more types for error machines
test for unary not