High-level intermediate (HIR) representation specification

Summary
High-level intermediate (HIR) representation specification