handle obj args properly by replacing  and abbreviations
support for abstractions fixes #7