WIP -- Propagate Result Type Set