type-complexity-threshold = 500
single-char-binding-names-threshold = 6