preprocessor followup: strict mode Python

[Tsche]

Enforce type checking at runtime by inserting isinstance assertions into function bodies for all annotated parameters etc. Can be done with AST -> AST transformations.