JR Carbine also makes a .40S&W, I have a JRC in .45, very accurate. If TNW makes a .40S&W carbine I'd check that out as well. Both take standard AR accessories.
The Kel Tec is a good quality carbine, terrible ergonomics but some love the fold feature. Hard to mount a red dot/optics but there are some options. They just came out with a gen 2 but both are hard to find for under list price, and usually go for way over list. But a bargain if you can get one for under MSRP.
Hi Point is your best budget option, I had a 995TS, not super accurate but 100% reliable. Heavy, crude, and single stack only mags. Like the Storm & Kel Tec it's a mag thru the pistol grip so a short overall length.
Of all of these I like my Storm the best, compact, light, easy to mount optics if you have the top rail. Heavy & mediocre trigger, can be lightened up with just a file or you can replace all parts with a Sierra Papa setup (expensive). Stock irons aren't great but they work and flip out of the way.