Uglob is located in:
suplib/src/Uglob.i3
patternmatching/src/Uglob.i3