Add and modify something

1. Add a new semantic error checker, MccVariableReferenceChecker.
2. Fix a bug in MccIdentifierConflictChecker.
3. Remove access constrain in some abstract syntax tree nodes.
4. Update docs.