Reflection Positivity in Heisenberg and Ice-Type Models