Update readme with overview and examples, cover examples in specs