brand new prop tool. draws like any other tool
implement generic property value as a union instead of void*
slight PROP description change, don't save invalid PROP preferences