fix: some functional inference, some unions with closed objects (#1275)

fix: some functional inference, some unions with closed objects (#1275) #470