Checkpoint
Changed branches to be input AND output of forward functions
Added `Branches' type, simplified forward function type
Minor source reorg; made DrBayes-level defines available in Racket
Added asin, acos, partial-sin, partial-cos, ray tracer test; cleaned up prim-if