'A practical form of type theory I'

AMT-B-3

'A practical form of type theory I.' Heavily revised TS, pages numbered 1-30, with 3 additional un-…