Chnage typer restriction o AnalogyImplication

New signature is better, A must be negatable not just the A that
is one the left. Makes no real difference but expression is better