Fix polymorphic class checking.

@takikawa, I belive this is the correct fix to the FIXME. It also cleans up the else case because tc-expr already does the check below so it was unnecessary.