updated examples

extended combinators
cleaned code
updated tests with more formal testing.