cv-semantics-draft 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