nyaya: test view controller no instructions
nyaya: share data between playground and bool toll introduced
show and edit list of formulas in playground too
share list of formulas between playground and bool tool completed
playground: add syntax tree from list of formulas
playground accept some overlap for automatic positioning
playground: accept relative overlap when there is not free place
start with welcome page
VERSION 1.0