update readme
model the main primitives, define examples.