Hal formatter: Output properties first