An object of the class FormalGroupPoint is a list {f,s} where f is a formal group law, s is a formal series without free term
The object FormalGroupPoint is a type, with ancestor classes BasicList < Thing.