Some minor refactoring (continue) about splitting type metadata and actual binding.