FOL checker beginning to process properly, modifications to verify-arg-checker to support functions properly.
FOL checker done (for current cases, maybe consider more)
Wrote README, added STRIPS problem solution, cleaned up things to match assignment specifications.