pub fn typecheck(program: &Program, source: &str) -> Result<(), Vec<TypeError>>
Type check a SolScript program