Code strongification