back to simple types + FMT constraint synonym