Fixing some bugs with MLtyped.