did a scratch implementation of dependancy types, but found it more complex