added more expression cases for graph building. adding a phantom ty_ to type names to keep them separate from constants
added more expression cases for graph building. adding a phantom ty_ to type names to keep them separate from constants

kind2-mc/kind2,daniel-larraz/kind2