Post about Erlang 17.0 and namespaced_types