add no-true-types option to disable true types