Documentatie in README gemaakt. Beschrijft bijna alles met uitzondering van
de introductie van Typelambda's bij de HM2SystemF-conversie.