Smartdown evaluation engine

Also added a command line script in `bin/smartdown` which can evaluate smartdown.

Still not clear to me why you need this always-true predicate :-( Could you walk me through where that matters at some point?