GT = Given types, types of extracted values for then steps
GTE = Given extractor types, types of extractor functions
WT = When types, types of extracted values for when steps
WTR = When result types, after mapping
WTE = When extractor types
WM = Mapping functions types
TTE = Then types extractors
VE = verification types for then steps
GT = Given types, types of extracted values for then steps GTE = Given extractor types, types of extractor functions WT = When types, types of extracted values for when steps WTR = When result types, after mapping WTE = When extractor types WM = Mapping functions types TTE = Then types extractors VE = verification types for then steps