The Calculus of Constructions: State of the Art