Add Info for the Erlang Type System encoding for Z3