Add predicate Known. Allow predicates with arbitrary arguments.

Known(%a,cexpr) asserts that variable %a is equal to some constant expression.
It cannot be translated to LLVM, but may be used by Souper.