1) Is runtime/compile time data type checking scheduled to be implemented in KM at any time

-> Not anytime soon