add explicit to single-arg constructors as advised by flint
add more explicit to single-arg constructors as advised by flint