Norms for Typing MAS Multi-Agent Systems