more work on freya.typed, new header types and lenses. negotiation moved out of typed and in to machine where used. this may not be final...