new casts module (functions that cast to Naked types)