added some stuff to the semantic check
Added checking for node aand rel literals as well as a way to store types of rels and nodes