typmachine