Typedef integer flag types as appropriate

[Graham Pentheny]

Split out from #81

There are a few cases where we use integer types to represent flags or ID's, and typedef-ing them would make the code a bit more self-documenting. See #81 for further discussion.