protocols moved into types, and combinators begin arriving