Modular implicits

This is join work with Samuel Vivien, exploring the addition of modular implicit in an ML-like module system build on top of Fomega with partial type inference.

The goal is to explore the resolution strategies and the interaction between type-checking and type-inference in the core language and the resolution of implicits.