More protocol RE, also new writer/reader methods for vectors