verification on type assignments