some more documentation plus new combinators for SF and EF but no tests yet...