Tighten type check in domain (closes #15)