adding typeinfo header