Improved docstrings, implemented alpha-conversion.