more stlc
stlc verifies
STLC verified, other tweaks and bug fixes