Note: This is type stripping only, no transpilation / code generation is done.