Rename Split => Spread
Implement checking for Pair (#6)
Add the motive to Spread (#6)
Implement inference for application
Implement inference for Spread (#6)