The Insieme Compiler and Runtime Infrastructure