Better printing of range and bit constants.
Parameter printing fix.
Added mux to dsl.