rem AlgTypes