Implementation of CreateVariableAccess method for typechecking.
Minor bugfixes.
Updated documentation.