update README; add use case of type-error