PropEr support for Elixir