A mini stucture editor for a mini language