Export GVariable and its methods

Exporting this class and its methods enables authors
to use the generically derived exists and forall implementations
as utilities while generating their own instances.
Merge pull request #6 from glguy/expose-gvariable

Export GVariable and its methods