freya router execution made monadic with intent to support monadic inspection pattern
splitting up inspector (not totally sure on naming, but better for extension) and tidying up routing trie execution
inspection split in to recording and inspector
freya.typed now split in to the freya.types.* family of assemblies, providing types and lenses, plus monadic lens functions
paket update
types reinstated for shift from typed -> types.*
Merge branch 'feature/typesplit' into develop
fixing sln changes
changes to layout of lenses, etc. with some lenses moving to core, and http semantic lenses being separate
changes supporting development of typed CORS (freya.types.cors)
some tidying and rationalisation of parsing and formatting, plus further progress on CORS types
complete set of CORS types, basic covering tests for parsing/formatting in line with other provided type libs
Merge branch 'feature/cors' into develop
initial work around a better way of structuring the inspector, using an internal set of pipelined routers to machine resources
tweaking and refactoring before a big push to pump out data...
some intermediate work on inspection, needs work on conneg to proceed
some better worked methods of conneg, although need to introduce the concept of strict/non-strict negotiation requirements to the machine graph now...
tidying some of the negotiation and machine logic (switching away from heavy operators) before evaluating extending the machine graph for better negotiation support
changing negotiation in machine to be more explicit about result, plus extending machine graph to allow strict regard to negotiation headers to be chosen (with hopefully suitable defaults)
Merge branch 'feature/conneg' into develop