syntactic support for dep types
no more implicit parameters, since they were becoming too fresh. the syntax is less convenient... we would need a walking macro of sort to get convenience back.