Generating tests with KS expressions (KST)
Right now, all our test specs are written manually or semi-manually in relevant target languages. We use a family of hackish conversion scripts that mostly take Ruby specs and try to convert them into all the relevant languages. However, this still involves still lots of manual correction work, and adding a new language is pretty complex given a huge amount of tests that need to be converted.

I thought of why don't we just use the same KS expression language (and its translators in ksc) to produce the test specs from some ksy-like file?

This could look something like that:

```yaml
id: nested_types # test format name
data: fixed_struct.bin # binary input data file in tests/src dir
asserts:
  - actual: one.typed_at_root.value_b
    expected: 80
  - actual: one.typed_here.value_c
    expected: 65
  - actual: two.value_b
    expected: 67
```

This should be easy to translate into all the specs — this time, within a compiler itself, without any hacks and with full knowledge of what's going on.