A simple type calculus