first draft of abstract
adding first part of original type inference definition
new macro \truec for typesetting true in constraints
renamed 2nd chapter