implement `match` in Test
implement let/rec in Test.hs