runtime: Start building bool runtime type.

And use it to wrap equality comparisons.
Start building Monte-in-Monte language tests.

It doesn't quite work yet, though.