SMS dit: Local fields and their extensions: a constructive approach