A language for specifying type contracts in Erlang and its interaction with success typings