Add (and instantiate!) AST for the configuration blocks
The typechecker now mostly ignores the new bits of AST
The interpreter now ignores the new bits of AST
Delete empty file