~ Remove trailing spaces again.
~ Add kind error message.
+ Add kind unification.
+ Fix parser.
+ Add kind check.
~ Fix constructor parsing and eval.