Add libmiddle
Add public interface frontend.h
Add typecheck-fail tests