Has anyone thought about mimicking the Pony (ponylang.org) type system (iso, trn, ref, val, box) in ATS? Thanks.
–shiv–