remove Executable type, which no longer makes sense