Re-add Show instance for Val and BoolVal