factor out match helpers to a separate file
remove badly polymorphic _limbo call in that was essentially only there for FFA