Property type checking system completed and extended to sockets; Added test for property cast function