Type Inference DSL

[Suminda Sirinath Salpitikorala Dharmasena]

Type inference rules in languages maybe different. So provide a way to specify type inference rules. Also ability to scope it to particular areas in case of internal DSLs.