Fixing Tim's subtype/solving bug for arrays