Allow %name to take an infix name as an argument.

Fixes #1191.
Remove stale .ibcs
Documentation for primitives

Allow primitive types to be entered into :doc. Also add their
documentation to IDESlave annotations. This stops :doc String from
throwing an error.

Fixes #1207.
Merge pull request #1205 from david-christiansen/issue/1191

Allow %name to take an infix name as an argument.
Merge pull request #1208 from david-christiansen/primitive-docs

Docs for primitives
Added a proof that (x ++ (y ++ z)) = ((x ++ y) ++ z) for Vects
Merge pull request #1210 from DanielWaterworth/vect_append_associative

Added a proof that (x ++ (y ++ z)) = ((x ++ y) ++ z) for Vects