Add type conditionals
Document control flow