booleanize scalarise canonicalise binarise literalise logicise optionalise bilinearise quintessentialise singularise