型制約