* typeck.c (comptypes): First determine if the types are compatible