mysql service: add some option types

Note that this changes the type and default value of port to int
(previously default was a string, no type).