refactor analyse_types() and friends to work more like a transform by returning the node or a replacement

simple optimisation that statically maps keyword arguments to positional arguments when called signature is known

remove warning about missing 'const' support from docs and fix advice on declaring macros as 'enum' (which works only for ints)

Fix overflow_check CompileError with msvc