Isolated datatypes installation