small bugfix
started clarification questions, pairprogrammingswap
ambiguity questions started
basic clarificationquestions done, reverted to coordinates
interpreting quantifiers
ambiguity pretty much done
small changes to return value
Merge branch 'Axner'