Fix annotation parsing and other misc. errors

[alegnani]

• adds permissions and access predicate
• adds parentheses to parsing
• closes #17
• fixes a bug where heap would have type Int
• fixed incorrect alignment check for ld8/st8 and ld32/st32
• removes unnecessary alignment check for ld8/st8