First version of multimethod-based proposition-matching.
Doesn't work yet with crime3propns.clj.  How should propositions
be represented as arguments?  keyword lookup?  Real propns?
Then need to define symbols first.  (And in that case do I need id tags?)