alms-0.4.10: TODO
- some termination checking for type operators - remove direct dependency of Parser on Sigma (! patterns) - row types for protocols - type inference
- some termination checking for type operators - remove direct dependency of Parser on Sigma (! patterns) - row types for protocols - type inference