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