[BUG] - -t option does not affect type checking

[zelcion]

Bug Description

As plain as it it, the -t option does not affect the application, while the --type-check does.