Added subkind `Numeric` for ad hoc arithmetic operations

[yung-turabian]

Still wrapping my head around Links' codebase but I felt this way of doing things was not too obtuse. I saw there was an effort to bootstrap lib so if that moves forward I assume that this work would have to be refactored. If there is a better approach I would appreciate the feedback.