wrote new docs for a further-simplified language