On my spotmatic I really liked the S-M-C 28mm f/3.5 (49mm filter) but always wanted a bit wider. I eventually got the S-M-C 17mm f/4 fisheye takumar and that was hard to use as I really didn't know what to do with a fisheye with a 180 degree diagonal so it was a hard lesson to learn. I really probably wanted something like a 20mm or 24mm. That said I used my 28/3.5 all the time and it was one of my favorite lenses.
On digital with the K-3 I still use the 28mm but not as much. I found I used the 17mm fisheye a lot more but for UWA I got the Laowa 12mm f/2.8 for astro shooting but it gets used a lot even during the day now. When it comes to getting a wide or ultra wide, or any lens for that matter, ask yourself what problem are you trying to solve. You have the 18-55 so do you want wider, do you need something faster, do you want better image quality, etc.? Once can throw all sorts of money at things and not get the right solution mostly because you are asking the wrong question. There are all sorts of recommendations for good wide and ultrawide lenses here but what is right for you depends on what problem you are trying to solve. High distortion fisheye lenses can make for some fun effects if you utilize the distortion, if you are shooting with lots of light then even the old S-M-C 17mm f/4 fisheye is great once you stop it down to f/8 or f/11. If you need faster you will have to go with a modern lens. If you want a good low geometric distortion lens there are modern ones available. Do you just want a bit wider so you don't have to stitch images, or do you really want to go wide and get the Rokinon 8mm for some real ultra wide fun. Just think of what you want. Also if you want to see what people have done with some wides/ultrawides go
check out this contest thread for ideas of how different lenses shoot.
For me with the Laowa 12mm f/2.8 I do lots of astro shooting and the old 17mm f/4 fisheye takumar really sucks at that so I wanted a faster ultrawide lens that I could run wide open with very low geometric distortion. Those properties solve a lot of the problems with doing astrophotography, you have lots of light gathering ability, sharpness at wide apertures, and with low geometric distortion you can stack images without getting lots of stacking artefacts. So with all that there were very few lenses that met the criteria and I happened on a used Laowa at a reasonable price from a forum member whos opinion I trust so I got that one.