Encode mem expansion call into type system

[tcrypt25519]

All operations that use memory must call memory expansion helper first. We should encode this requirement into the type system by not making available any memory writes until memory expansion has been called during that instruction creation.