fix struct's property type supers, add some prims implementation for struct-test.rkt