We prove a variant of the Fefferman-Phong sum of squares theorem for the algebras C^k,delta along with matrix extensions, and then use these to prove some `sharp' hypoellipticity results for Fedii type operators. This is joint work with Lyudmila Korobenko.