Runtime validator - Statements

Started working on fleshing out the runtime validator.

First step: Get statements to work.

WIP branch.