Add Option.filter to CakeML

[ordinarymath]

See https://smlfamily.github.io/Basis/option.html#SIG:OPTION.filter:VAL