Compile Time Checking boiler plate

Added boilerplate for an initial "check" phase which
will detect errors that would be found at compile time
by a traditional compiler.