Any T can be implicitly converted to a Option<T> now. Equality should be handled correctly for every case. Reworked the combinators and applicators a lot.