Type context in declarations