[Decaf] PP3: Add semantic analyzer frame; add error types.