Add test cases for subtyping of -Bottom.