rename IntersectionSubtyping.hs -> Syntax.hs
refactor & working on pretty printing