Foldable for resolving props

[gabizon103]

Implement Foldable so that we can resolve props easily. Useful for monomorphization, since we need to resolve props that show up in if-else conditions, for one.

[UnsignedByte]

Should already be implemented, in subst.rs:163