Tests for #221 reified bug
Fix #221 process type args in interface defs