Fixed impreciseness in examples. Added one more example.
Started initial implementation.