readme on primitives and pattern-matching