new duration type MachineTime

see issue #139
minor refactoring and corrections