Renamed BrazilTyping.Infer to Brazil.Verify
Renamed BrazilNorm to Norm