Also just having a set order for everything and documenting that somewhere would be good so that this does not vary from type to type

I believe functions should have the order information in it's own kdoc

It is if the order is the same everywhere, needs to be checked first. Also I'd really like to change the order to left->right everywhere, but that is more work and can come later.

Thanks!