Rename Abs to Opaque
Add comments for $Free enum
Cleanup
Simplify annotation
Rearrange comments
Modify scope of unsafe usage