emulates Liftable
emulates SyntacticClassDef