Implement creation of traps, albeit just dummy traps at present.

This means some infrastructure changes: perhaps most notably,
floating-point randomness and ripping out the former partial trap data
structures.