implement checkcast and partial assignment testing (no interfaces yet)