Added more inline documentation to Abstract Type use case in Types examples.