val (+) : t @ local -> (t @ local -> t) @ localval (-) : t @ local -> (t @ local -> t) @ localval (*) : t @ local -> (t @ local -> t) @ localval (/) : t @ local -> (t @ local -> t) @ localval (~-) : t @ local -> tval (%) : t @ local -> (t @ local -> t) @ localval (**) : t @ local -> (t @ local -> t) @ local