Tests: 64 / 80 / 39.
Tests: 78 passing / 66 failing / 39 compilation fails (but typecheck is ok).