A small, general-purpose programming language intermediate representation in JSON