Added better comments, cleaned up code slightly. Added comments for how we should handle Quantifiers.
Merge branch 'master' of https://github.com/Ramqvist/shrdlite-template

Conflicts:
	javaprolog/Plan.java

Fixed merge errors.