Docstrings added or improved for the most important features. The
documentation site was deployed using 'Documenter.jl' and the
confiuration files for GitLab were added.
For the implementation, the `Proxy` data type was simplified. Necessary
changes were made to functions using `Proxy` and to `Record`.