Agents can achieve effective interaction with previously unknown other agents
by maintaining beliefs over a set of hypothetical behaviours, or types, that
these agents may have. A current limitation in this method is that it does not
recognise parameters within type specifications, because types are viewed as
blackbox mappings from interaction histories to p