Ordinal-valued functions

The idea is to pick the classic paradigma of valuating the options, but
with infinity values (a wide variety of them)