Foldmap and distribute with explicit size
Parse and desugar into typed quantifiers
Update DsErrors
Merge branch 'indices' of github.com:jyp/LL into indices