Lots of comments and fixups for aessafe.rs