Alpha v5: Lots of UI work for the basic lex editor; bug fixes in wimify; beginning to abstract particular knowledge repositories (not done yet)