make AnalyseDeclarationsTransform inherit from EnvTransform to fix inconsistencies in scope tracking

add warning to string tutorial that users should avoid char* in favour of Python objects unless they know what they are doing

reimplement cross-closure type inference using a dedicated LocalEntry class for entry copies in closures to keep closure knowledge in one place

prevent InlinedDefNodeCallNode from being considered 'simple' by making CallNode generally non-simple