Type error: source of assignment does not conform to target. 
What to do: make sure that type of source (right-hand side)
  conforms (in the sense of inheritance rules) to type of target. 
