Added documentation on how type casting of abstract to concrete types works.