Added abstract types Arch.machine and Arch.os