Intrinsic computability over algebraic structures