pub fn check_source_strict(source: &str) -> Result<Vec<SNode>, PipelineError>
Lex, parse, and type-check, bailing on the first type error.