pub fn compile_hw_spec(source: &str) -> Result<String, HwError>
Compile an English hardware spec to FOL text.