run models/seq.als

FIXED: alloy/type/TypeModifier was not distinguishing between real
instantiations of signatures and instantiations from polymorphic 
functions using type parameters