RFC: Const and Comparing Types

[Ratstail91]

So, currently there's no way to add or remove the const-ness of a type, meaning that int const == int will always be false.

If there was someway to compare types without also checking const-ness, or checking just the const-ness alone, this might be resolved.

I'm not even sure what the syntax would even look like.

var i: int const = 42;

print isconst i; //is const?
print typeof const i; //type with const
print typeof mutable i; //type without const

alternatively:

var i: int const = 42;

print constof i; //is const?
print typeof constful i; //type with const
print typeof constless i; //type without const