added the new schema with globals to lib, added the known types to the AST, added some text to the demo page