put typecheck options into separate module
add multiple possibilities to define file with -typecheck