lsts 0.5.24

Large Scale Type Systems
Documentation