TYPOC-21:
- the expression field is now required
- extended the check to proof for unknown tokens