mread (PBind name expr) = do
  e <- mread expr
  return (e \\ [name])
mread (PBind name expr) = do
  e <- mread expr
  return (e \\ [name])
mread (PBind name expr) = do
  e <- mread expr
  return (e \\ [name])