Maadi HiVAT Test Architecture - Algebraic Data Structures