tweaked ST synonym, added derived instances, better debugging support