Some variable names changed
Implementation modified
Implementation of `play` changed
Merge branch 'localint_ya' into localint_ya_rev

Conflicts:
	localint.py

Changes in docstring incorporated
Docstrings elaborated

current_actions_mixed dropped, which is for internal use
Merge pull request #6 from oyamad/localint_ya_rev

New implementations in `play` and others/elaborated docstring