Twelfth version

You can now add volatile pauses by using a " !Double " pattern where Double means a normally written Double numeral with (or without) a dot. Extended documentation and used a module declaration.