don't match non-scala classes
wip syntactictraitdef
wip
a few more tests
SI-7196 splicing into type refinement