Typing migration control in lsdπ