simplified AType
make check loop vars run again
make check_function/check_all_module need less printing code. Add types and writemime methods to handle actually formating/printing stuff.
removed try-catch from check_all_module. I don't want to silence errors, now that I've solved all the ones on Base.
Add tests for correctness (and incorrectness) of my check_return_types function