core: verify explicit sf types are usable