Rewrite `prop` and `prop<-` in C

[hadley]

They are called extremely frequently so I bet they're going to be a performance bottleneck.