More work on stlc
Simplified example for #46