Title: Collins' big type arithmetic (Scheme A)