add example document
.gitignore
add value definition

newtype delcaration is necessary because of circular reference error if
it were just a type synonym.
Start working on parser