use a MultiMap for theories (multiple definitions are ok)