Type checking assignment