equiv function again returns a list option
Added test of handler pattern-matching
Moved nat.tt's equiv into prelude
Fixed context handling; new prims & pats
Updated prelude
Added --raw mode for debugging
Fixed subtle context bugs; code cleanup; comments