Add string length support to the constraint solver

Relates to #70