have a closing marker for each if..then such as "fi" or "end"

a semantic rule that it applies to the outermost if..then

elaborate the structure with elsie clauses and a closing marker

a semantic rule that it applies to the nearest (nested) if..then

use an exit command instead of the else