name binding, desugaring, type int8's
restructure trans folder
added constructors for Params