Well Typed Foundations: type-checked object notation similar to JSONgithub.com/wires1 pointpizza4 years ago