abstract domains, 5/14
misc tweaks
Merge pull request #13 from gridaphobe/master

more abstract domains