type of universal algebra