Updates to Hal, adding reflections, etc.