#9 fixed Semantic Types hierachy