Separated Losser and DerivLosser types, made tests pass