make Val subsort of Exp and remove manual heating/cooling rules