cleanup: use bool where possible
cleanup, use C99
rework alias analysis API

You now only have to specify 1 type and the size of the access instead
of 2 types. Also cleaned up some code/comments in the process.