Make it so that:

'boss' says E can-say E hasAcknowledged(P)
  if E isEmployee,
    P isPolicy.

Can be written as:

'boss' says Employee:E can-say E hasAcknowledged(Policy:P).

For every variable in the head, if it is of the for TYPE:Var, add a conditional that Var isTYPE, and remove the annotation from the variable. Remove duplicates before adding.

Possibly add support for:

TYPE1:TYPE2:Var

Becoming

Var isTYPE1,
Var isTYPE2,

See example lint-examples/redundancy-4.policy.

'x' says 'y' p
  if A q.
'x' says 'y' q.
'x' says 'z' q
  if 'p' q.

The 'x' says 'p' q in the conditionals of the third assertion, gets unified with 'x' says A q in the first.
However this shouldn't happen as the policy is incomplete and there is no 'x' says 'p' q to unify with.

Probably just need to be a bit more careful when doing unification.
(Which we already new).