Two new tests

1) Verify we survive illegal infinite paths. Closes #91.
2) Verify we handle fbounds in and types correctly.

Closes #91. Review by @samuelgruetter please.