Add match logic to AST and Nock.

[sigilante]

No description provided.

[sigilante]

Right now it's fairly aggressive in providing syntax errors, but this clutters the Hoon.

[sigilante]

@tacryt-socryp please look at +hunt, ll. 1325–1359 in /hoon/lib/jock.hoon.

There's a mint-vain because I'm not sure what it thinks the head of jype can be yet, but I think the recursive Nock for the cell and atom case should work to detect now.

(just default (cell) and atom now, others incomplete

[sigilante]

Current status:

• block comments necessary for testing (yakshaving)
• else keyword fixed (yakshaving)
• split match into match type and match case switches
• in media res on match AST return logic
• in media res on jype match logic (fish-loop bug, may take a while)

[sigilante]

The builder and compiler steps work, but have not been thoroughly tested for correctness yet. I want to get some test cases in here before merging back into master.

The build check fails because it can't find out.jam; I suppose I should supply that to the repo.

[sigilante]

OK, next need to very carefully check AST and generated Nock. Once I'm satisfied with that, we can cut a 0.1 release of Jock.

[sigilante]

#11 enables testing on this branch.

[sigilante]

Nock matching appears to be correct for atoms.

Matching on more complex types (paths, in particular) requires thinking more about the type system and will be a separate PR.

[sigilante]

Jam conflicts are hopeless even in rebase for some reason. Going to restart a fresh PR.