Move untyped stuff to subdirectories
STLC syntax and type erasure
Oops, no more swap files