typing works
MiniML done