Propagating ins (predicates/fns) to rules (closes #28 #29)