Reverted type checking for named addresses. Updated sigils for record path access in splices