Rename EmptyTypTree into SyntacticEmptyTypeTree

1. Change the name as @xeno-by believes that previous name was misleading
2. Remove EmptyTree case as it's not needed any longer, only TypeTrees are used now 

review @xeno-by 
/cc @vladimirnik