Add "laptop" as a device type

For consistency with the other implementations, which distinguish the two kinds of computers.

As discussed on Matrix.