language proposal redux

c code is untested