Add a type matching example