untypeConstant (Constant froz decl expr) = 
  Constant froz decl (untypeExpr expr)
untypeConstant (Constant froz decl expr) = 
  Constant froz decl (untypeExpr expr)
untypeConstant (Constant froz decl expr) = 
  Constant froz decl (untypeExpr expr)