further improves analytic problem class

tighter constness, fewer evaluation signatures, gcc attributes