More interface fixes + cover fixes in luaffi backend