couple of minor fixes to stdlib inlined type constraints
simplify testing for stdlib; fix a few incorrect test cases