Example of Multiple Type Binding

make Var type family for various binding representation.
Example of Multiple Type Binding

class IMBinding has common methods for implementation with IntMap.