handle data and newtype datafamily instances
fix string handling and implement string continuation