IR: basics for pair
IR->SSM: taking size of a type into account
IR: first step towards built-ins and tuples :D