Improve core.abs to handle const and immutable qualifiers
Improve the constraints