naive latex/tex support.
trust the user to get -type right.

if they specify it, why recheck it? maybe our check is wrong. be kind.