Computing in Umpling