Defined keywords in PLT
Moved the command \term to prelude.tex
Meta improvement