cleaned up the constructor of KItem; cached LIST_TERMINATOR
minor refactoring
cached results of getMaximalLowerBounds method; fixed a latent bug in getGLB when there are multiple LBs but no GLB