For the Samsung SCX-4216F, not only no AirPrint, but also no IPP/IPPS support, or support for any other common printing protocols, either.
The printer specs do reference GDI, which usually means the printer is, um, quite limited, and uses host-based rendering, and is entirely dependent on the printer vendor drivers to perform that rendering on the host computer.
Somewhat more capable printers will include processing and firmware running on the printer with support for common printing operations, such as rendering PDF or Postscript files, or for receiving IPPS or AirPrint print requests from connected computers. Or sometimes servers for lpr/lps or telnet support, for older (and less secure) compatibility.
GDI is usually a very inexpensive printer, and is tied to the vendor drivers.
If deciding to replace the printer:
That means AirPrint minimally, and possibly also IPPS for flexibility.