minor fixes; added dynamic predicate declaration so ‘false’ would be returned properly, fixed spelling so ‘types’ are matched up