concept constraint and a lot of bug fixes in the language