Experiments in "type-structures" and motion