Binomial heap tabs to spaces, minor improvements