Function validate 

pub fn validate(
    forms: Vec<BoundForm>,
    table: &SymbolTable,
    now: ClockTime,
) -> Result<Vec<ValidatedForm>, SemanticError>

Validate a sequence of bound forms against the grounding + clock invariants, producing typed ValidatedForm ASTs.

Errors

Returns the first SemanticError encountered.