Computable Structure Theory: Beyond the arithmetic [pdf]