Type context in expressions