feat(tactic/core): basic interaction monad functions (#1658)
* feat(tactic/core): basic interaction monad functions
* review
* remove get_result
* update comments
* whitespace
* american spelling
Co-authored-by: Gabriel Ebner <gebner@gebner.org>
Co-authored-by: Scott Morrison <scott@tqft.net>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
