hydra-0.1.0: Type-aware transformations for data and functional programs