Hylo requirement machine

This repository contains a proof of concept of a requirement machine for Hylo's compiler. Its implementation is openly inspired by Slava Pestov's, which is documented here.