A data constraint extension for Typhoon.