Add Domain type family
Implement ForwardDouble mode, like Forward Mode but restricted to Doubles