Lots of fixes: bifields, copy of temporary deref, block scopes