Adding meaning to primitive types| fsharpforfunandprofit.com
In which I throw away the previous design, and switch to a capability-centric approach| fsharpforfunandprofit.com
Capability based security and more| fsharpforfunandprofit.com
