--# -path=.:present concrete PhrasebookFin of Phrasebook = GreetingsFin, WordsFin ** open SyntaxFin, Prelude in { }