added David's check-random to test engine and teaching languages

this is somewhat experimental, but it helps with testing random functions
rewrite docs for check-random to make them student appropriate, ditto for check-expect
added some student examples to check-within and check-error
fixed structure printing, added example to check-range