some preparations for dynamic typization