Expression typing