fix, cleanup, and tighten type programming utils (#710)

fix, cleanup, and tighten type programming utils (#710) #3066