SI-8388

Split syntactic ident into term and type idents

Match idents, selects and type applications as type tree originals

Match compound type based on type tree original

Match singleton types by original

Match type projections by type tree original

Match annotated type by type tree original

Match existential type by type tree original

Reorganize names corresponding to syntactic combinators