Added action replacement and subaction checking.
Added refinement of action declaration.
Added refinement of implicit recursion to explicit recursion (need to add selection of recursion action name).