Map Typing | BACOMO