Add infixity and import statements to hideshow