Added explanation of 4.02 namespace in the proposal