debug and separate propertyField from structType
depth - 1 shouldn't be necessary anymore
about the module check problem
fix module polymorphism checking
fix the nonpoly test