Fixed failing unit test.
Added actual Program implementation and some more boundary tests.
Updated README.md.