Semantic checker now checks for duplicate identifiers (regardless of type).
Duplicate questions checker + unit tests.