Beyond fun: Order and membership in polytypic imperative programming