GSW: fixed "abstract data type" => "algebraic data type".  Thanks to Sh4rK for pointing that out!!