Annotated types for memory levels