Env: Export Type
Env: Add def instruction
Eval: Add def instruction