Alibre's strength is not "surfaces". It does have "lofting" but if you want to make complex "organic" 3D shapes then Alibre may not be for you. It does support "draft" (tapering for mold release) on extrusions and some other operations. It does have boolean operations. I have not tried them to know if they retain associativity to the parasolid geometry.
It has STL export (only) and 2D (only) DXF import/export.
Although I have never used it, I think people recommend Rhino (or, of course, Solidworks) for complex smooth shapes. Blender could also do that but it has a learning curve all its own.