Slightly improved Typing rules
Quick review