Nemerle text editor