y-combinator tests with assert_t
parsed various kinds of expressions