Split Rule.Internal+Utils -> Rule.Func, Rule.Monad, Rule.Types