Raise an error if a case of a pattern matching is not used
useless -> unused
Update TODO
--print -> --print-llvm
Do not allow recursive values