tylisp
macro_rules! literal { { $( $({$($gen:tt)*})? $ty:ty );+ } => { ... }; }
Define types as lisp literals, which evaluate to themselves