Be more lenient in what passes without FlexibleContexts. Improves #63.
Add test for #63.