steps ahead in types, translation types and docs

a lot of small changes :)