test lower bound type