init initStoreExprHelpers

Derive | ATermList ATermList ATermList string string ATermList ATermList | ATerm |

| string string | ATerm | EnvBinding |
| string string string string | ATerm | DerivationOutput |