Rename exec.size() to width(), closes #20