Merge pull request #7 from lengyijun/patch-1

Remove unused import for Data.Heap

fix comment, make C16 more explicit

optimize to 201 bits

undo experiment

avoid tabs

50_ft_lock optimized laver by 1 byte!

save 1 bit and avoid need for slack 6

optimize with slack and more comments

fix size comment

add BO.lam

add w218

add #normal forms to BB output; analyse all TODOs

document example that requires the history reset when switching to reduction to hnf

add interpreter for single point base A