constraints

abstract val constraints: List<TypeConstraint>