interpolation fix and improving duality quantifier handling
set text default to auto to try to avoid crlf disasters
duality fix
interpolation fix
getting rid of DOS line endings
merged interpolation and duality changes
g++ pedantry