Documentation search or hoogle integration

This is something I reach for, perhaps because I'm used to it more than anything. But it might be nice to have Hoogle integrated into the documentation.

Das Issue nennt keine Dokumentationsdateien, Tests oder Einstiegspunkte. Beginne damit, herauszufinden, wie die CodeWorld-Dokumentation generiert wird, und bestimme, wo sich die Hoogle-Integration einfügen würde; abgeschlossen ist die Aufgabe, wenn die Dokumentation eine klar definierte, funktionierende Möglichkeit bietet, über Hoogle zu suchen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.