ddc-core-0.3.2.1: Disciplined Disciple Compiler core language and type checker.