Fixed bexp to do what it should with my new eval stuff. Also changed some of the names to be more in line with Aexp. Added a new typ for bexp_s too so that we can have bexp variables, which I also added support for.