Add simple record test
Add leaf/hole pure expr combinators
Add Eq,Ord instances for Val and other types