Add LazySpecification

This one was a bit tricky because some lazy specifation arguments are
parsed as fake function arguments; see the comments in the RedHat AST
conversion functions / methods.
Add tests for LazySpecification