[WF4] Support for read only variables through VariableModifers. Tests.

-Not the most elegant implementation but it works.
-Corrected implementation of Location<T>. Tests for it too.