Cleaned up SfLists
Some progress on STLC progress

Started hitting conceptual difficulties