rework concept checking to be more in line with Concepts Lite, fixes #63