Simple sort alias not expanded

[eelcovisser]

The Address sort alias does not get expanded in explicated code:

signature
  sorts Id
  sort aliases 
    Address = Int
    Env = Map(Id, Address)
  components 
    E : Env
  arrows
    lookup(Id) --> Int
    bind(Id, Address) --> Env

[vvergu]

Right, thanks for reporting.