Floats now mostly LaTeX3

Also adds a bunch of counter macros which may benefit from their own
file or package.