Function saltwater::check_semantics

pub fn check_semantics(
    buf: &str, 
    opt: Opt
) -> Program<Vec<Locatable<Declaration>>>

Perform semantic analysis, including type checking and constant folding.