Competitive Programming SLCCE Typing