type specifications; constraints on types;