fix reversible jump stuff. might need probabilistic debugging, etc
add some files