Updated to compatibility with STC 2.1. Improved error output. The documentation structure has been changed to improve readability. Further restrictions have also been added.