st: fix type printing
st: fix non-exhaustive patterns
st: simplify evaluation