Fixed incorrect object subtyping. Used pattern reduction in type reduction.