Merci Pierre Marie (update after Term. splitting)
explicit subst has to come back
Substs are back (but potentially eventially smarter)

No way to compile it without the trunk of tomorrow
Useless Require