church. A simple type-checker for Girard's System Fω in Church-style (each variable must be annotated with it's type)