Remove "Modules" and "Formalities" for now
Abstract and generalize finding definitions in language docs