some progress parse constraint as TypeConstraint-like DSL.