flatten quantifiers
basic flattening of code, types