Formalize the behavior of port namespace attribute upon absorbing

[sphuber]

This is a break out of #135 where the behavior of the dynamic attribute was discussed. The behavior was fixed in #146 . However, we should now formalize how all other namespace attributes are set when absorbing another namespace, e.g., required