BplTypeErrors in type-checker use default line number 1
BplTypeErrors in type-checker use default line number 0
'main must have void type' TypeError has a line number
line numbers for BplTypeErrors from type_checker, and double-quote strings in type_checker_spec