Added comparisons; converting art

Added comparisons to literal types, and am converting art in a
(fruitless) effort to make the system run faster.