added Show instances, QVar type and Env type