A library for handling a functional intermediate representation.