Adds then for F0
Adds a FTry0
Adds consistency for then methods in F2
Makes toTry a method of Opt

This has the counterbenefit that we now need to pass the Class<T> to toTry().
But it feels more natural to read and use.