A barebones version of Anairiats used for bootstrapping Anairiats.