The "term" kind is now "value".

The tokens and constructors have been fixed inside the compiler as well.