remove dead elif in typeof_expr()
Developer documentation for adding type inference information