The Step Function type