Module compile

Compilation process, from AST to Sema to Sequences of Insts.

Functions

• compile
  Compile the given AST definitions into Rust source code.
• create_envs
  Construct the ISLE type and term environments for further analysis (i.e., verification), without going all the way through codegen.
• from_files
  Compile the given files into Rust source code.