Constants and Eval modules