rename the theories under hol-light/standard/monadic

to use camel case like the rest of the development