lots of changes, mainly add support for LLL with removals on Gram matrix