Labeldef specialization

Closes #24 for good