Allow type conversions in sem_check