Type contexts and some statements