STLC
add STLC non-meta tests from will.
meta STLC