language proposal redux