Perhaps HamiltonianSystem should be defined in https://github.com/JuliaGNI/GeometricIntegratorsBase.jl and then imported by GeometricIntegrators and EulerLagrange so that we don't have the conflict when using both packages?
(issue was raised by @ZeyuanLee)