infos from move

applying a move is now returning some (basic) informations
step behavior fixed and enhanced

stepZero in the TreePath, and step recording in solving process.
more compact schema application
better verbose infos
comment changed
add the substraction rule if q2
minor changes
minor peripheric changes