Some useful modules for the Kore programming langage.