Lost in a wood of symbols, types, and expressions.