Add type aliases in algebra for Ring and Field.