Catch ReflectionException in getTypeRestriction()

Plain PHP exceptions should not be let thrown by any API - this change should make it easier to track errors occurring when fetching a restriction that was not actually loaded or is unloadable (because no such class does exist).

As first step, it will be rethrown as lang.FormatException - any other exception type that suits better?