Some issues

[Zireael07]

1. Holes of different types could have different colors

2. Holes should really have tooltips saying what type they are

3. I managed to create a definition statement, and fill in the name hole with Add Fresh (which btw is great!!!) but can't figure out what can be done with the other hole... which should be aterm or statement but neither of those is accepted

[joom]

1 and 2: Yes, great ideas! But the language I defined here doesn't have types yet.

3: When you create a definition statement, the second hole is a term. (not a term statement, which is what Add Term would try to do, add a statement that is just a term. Like writing 3; in C) You can try Add Lam for example. I know it's a bit confusing, if I keep working on this I'll make that more clear.