Allow const items in blocks, allow liftimes to have bounds