Now manages right whether a variable is really or not a crust-type, and whether it has been typecasted