Add keyword decor
Add hilighting for metavars and postulates