tools/memory-model: Add types to litmus tests