run models/tree.als

FIX: needed to add new instantiations of polymorphic signatures to the relevant
field to sigs mappings in the right ModuleScope to get the type inference to
work in this case.