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.