bugfix: regionized pointers in a generic context; renamed 'Future' to 'Promise'