This procedure checks type compatibility between expression and specified type and sets expression to the specified type if needed.