[flang] Merge pull request flang-compiler/f18#978 from flang-compiler/ps-types

Semantic checks for constraints on types

Original-commit: flang-compiler/f18@2efdf12f6a2533980dfcfc6c3bb375e65ac07a67
Reviewed-on: https://github.com/flang-compiler/f18/pull/978