Fixed a typecheck problem with an alloy expression