1. A method of binding a type instance of a type specified in a target instruction set stored in a memory of a computer having a processor and defining at least two domains, the method comprising: storing a type binding instruction set in the memory configured to: identify a selected domain for the target instruction set, select a type implementation of the type within the selected domain, and bind the type implementation to the type instance; and executing the type binding instruction set on the processor.