Two new tests

1) Verify we survive illegal infinite paths. Closes #91.
2) Verify we handle fbounds in and types correctly.
Merge pull request #279 from dotty-staging/test/#91

Two new tests