Temporary work for semantics for compiler IR language with domain opts.
TODO:
- Algebriac opts
- Space locality opts -- workout integer polyhedron first
- Annotated IR for polymorphs instructions
Temporary work for semantics for compiler IR language with domain opts