Alias Refinement Types