fixes to axioms of some study design, replacing reliance on specifies_value_of relation owing to its domain, adding stato alternative term to homoskedasticity test