Type constraints

Examples for type constraints added