Work in progress to support untyped specializations. Ctd.