Taking care of native types for gates, points, and polynomial commitments. Needs some array/buffer struct to serialize field elements as flat bytes probably (this was done in wasm).