hard/PrefixExpressions initial checkin (with test files)