Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts