Some fixes, and a neat demonstration. Started documentation.