documentation and more work on abstract interp