Size -> GAP_Size
Difference -> GAP_Size
GF -> GAP_GF
Union -> GAP_Union
Intersection -> GAP_Intersection

Position(list,any,<offset>) -> Position(list,any,rec(Start:=<offset>))
