Options

First step in the cleanup of the options code: have a typesafe interface