There's always the Canon 14mm f2.8. It's a superb lens, but it takes some practice to get good pictures from it. You also have to give up any thought of filters (no big deal in my opinion). I think it should be the best for stars as it is certainly the best for daytime sky photos.