rudementary doc
indentation
exampls
doc
fix grammar
introduce errors in video game ones
README
fix missing refinement in opaque application
update doc
shut up debuggings
fix constraints
document example
fix printing of `case`
defuglify expressions