semantic: Ensure that rarr isn't null before retrieving a type from it.