A note on implicit import

Author: khssnv

docs/ADR/0013-native-rust-sdk-for-smart-contracts.md

@@ -67,6 +67,8 @@ Developing native Rust smart contracts currently faces several challenges due to
 - Timeline considerations
 - Who is responsible for implementation]
 
+- Avoid implicit import (namespace pollution, poor discoverability). Provide "prelude" module.
+
 ### Decision Drivers
 
 - Why are we doing this?