theory of types

1. redirect type theory

{{R mentioned in hatnote}}