At the moment an untyped variable is represented by a string representing the name of the variable. So why wrap it in a Record structure. The main reason is because
I am planning to expand this as explained in the text part of this pamphlet. Also it seems like a good idea to keep a similar structure to typed variables. Also
I could not get it to work unwrapped.
I vaguely recall that
't get the constructor to return an unwrapped value, but it may have been some other issue and that
's not the main reason.