`empty` is now implemented with `_front.length == 0`.