Enumeration-based Property Testing for Elm