Declarative Bias for Structural Domains