Is there a reason you have a marker trait for Literals but not for other tree kinds (Statement, JS, ScalaJS, etc.)? I'd be in favor of adding some, if only for documentation.