Classes representing GFC modules and definitions.