added f0 binding subproject, first stab at bound serialization with f0
added arbitrary for var and scope, added some basic equality tests, and some serialization tests (though more work is still needed there).