minor
simplify inst
implementation for the more ambitious
some extra testcases
i guess i'm not ambitious
move stuff around
extra example