Of course, it should contain runtime checks in `pu...

# language-proposals

[miha-x64]

Of course, it should contain runtime checks in public methods that can be called from Java. But we all can write these runtime checks ourselves; my idea is to introduce more compile-time checks 🙂